An intuitionistic Sheffer function

نویسنده

  • Kosta Dosen
چکیده

The purpose of this note is to present a ternary propositional function which is a Sheffer function in the Heyting propositional calculus. We shall also consider some related Sheffer functions in positive logic. Although it is easy to guess what should be the general notion of a Sheffer function in a propositional calculus, we shall first fix our terminology. Following [2] and [1], we shall say that a set of functions F is a Sheffer set for a set of functions G iff every member of G can be defined by a finite number of compositions from the members of F. A set F is an indigenous Sheffer set for G iff F is a Sheffer set for G and G is a Sheffer set for F, A function / is an (indigenous) Sheffer function for G iff {/} is a (indigenous) Sheffer set for G. Of course these notions will interest us here only when the functions in question are propositional functions. Unless stated otherwise, ->, Λ, V, ->, <-•, _L, and T will stand for the usual Heyting propositional functions. In [1] Hendry has shown that there is no binary indigenous Sheffer function for {-+, Λ, v, -»}. In that paper it is also stated that {<-, v, — } is an indigenous Sheffer set for {-», Λ, V, -•}. More precisely, {++, v} is an indigenous Sheffer set for {->, Λ, v}, since in the Heyting propositional calculus we can prove

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Arithmetic Aggregation Operators for Interval-valued Intuitionistic Linguistic Variables and Application to Multi-attribute Group Decision Making

The intuitionistic linguistic set (ILS) is an extension of linguisitc variable. To overcome the drawback of using single real number to represent membership degree and non-membership degree for ILS, the concept of interval-valued intuitionistic linguistic set (IVILS) is introduced through representing the membership degree and non-membership degree with intervals for ILS in this paper. The oper...

متن کامل

SHAPLEY FUNCTION BASED INTERVAL-VALUED INTUITIONISTIC FUZZY VIKOR TECHNIQUE FOR CORRELATIVE MULTI-CRITERIA DECISION MAKING PROBLEMS

Interval-valued intuitionistic fuzzy set (IVIFS) has developed to cope with the uncertainty of imprecise human thinking. In the present communication, new entropy and similarity measures for IVIFSs based on exponential function are presented and compared with the existing measures. Numerical results reveal that the proposed information measures attain the higher association with the existing me...

متن کامل

Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different

Gentzen’s and Jaśkowski’s formulations of natural deduction are logically equivalent in the normal sense of those words. However, Gentzen’s formulation more straightforwardly lends itself both to a normalization theorem and to a theory of “meaning” for connectives (which leads to a view of semantics called ‘inferentialism’). The present paper investigates cases where Jaskowski’s formulation see...

متن کامل

INFORMATION MEASURES BASED TOPSIS METHOD FOR MULTICRITERIA DECISION MAKING PROBLEM IN INTUITIONISTIC FUZZY ENVIRONMENT

In the fuzzy set theory, information  measures play a paramount role in several areas such as decision making, pattern recognition etc. In this paper, similarity measure based on cosine function and entropy measures based on logarithmic function for IFSs are proposed. Comparisons of proposed similarity and entropy measures with the existing ones are listed. Numerical results limpidly betoken th...

متن کامل

A Data Envelopment Analysis Model with Triangular Intuitionistic Fuzzy Numbers

DEA (Data Envelopment Analysis) is a technique for evaluating the relative effectiveness of decision-making units (DMU) with multiple inputs and outputs data based on non-parametric modeling using mathematical programming (including linear programming, multi-parameter programming, stochastic programming, etc.). The classical DEA methods are developed to handle the information in the form of cri...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Notre Dame Journal of Formal Logic

دوره 26  شماره 

صفحات  -

تاریخ انتشار 1985